// @flow
function concat(a, b: string) {
  return a + b;
}

// concat("A", "B"); // Works!
// concat(1, 2); // Error!